Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions
نویسنده
چکیده
We use a version of Statecharts to represent multiagent plans and transactions. Although epistemic and deontic logic are abstract and appropriate for specification, we argue that an agent must know that abstract modal properties apply to it and its collaborators. We develop a language that describes Statechart features but also expresses knowledge, common knowledge, and obligations. The hierarchical and concurrent structure of plans and transactions can hereby be exploited by modal logics.
منابع مشابه
Complexity of multiagent BDI logics with restricted modal context
We present and discuss a novel language restriction for modal logics for multiagent systems that can reduce the complexity of the satisfiability problem from EXPTIME-hard to NPTIME-complete. In the discussion we focus on a particular BDI logic, called TeamLog, which is a logic for modelling cooperating groups of agents and which possesses some of the characteristics typical to other BDI logics....
متن کاملModal Logics for Reasoning about Multiagent Systems
It becomes evident in recent years a surge of interest to applications of modal logics for specification and validation of complex systems. It holds in particular for combined logics of knowledge, time and actions for reasoning about multiagent systems (Dixon, Nalon & Fisher, 2004; Fagin, Halpern, Moses & Vardi, 1995; Halpern & Vardi, 1986; Halpern, van der Meyden & Vardi, 2004; van der Hoek & ...
متن کاملFrom the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications
In order to design and implement multiagent systems, the specification method should be as expressive and comprehensive as possible. Statecharts, which are capable of describing dynamic systems and are widely accepted in the computer science community, are applied and investigated for this objective. In this paper, multiagent systems are studied in the domain of robotic soccer, where the behavi...
متن کاملInteraction Modal Logic for multiagent systems based on BDI architecture
The purpose of this paper is to develop a conceptual model of multiagent system composed of a set of BDI agents based on role modeling and modal logic of interaction. Agents perform actions taking roles within a scenario that obeys a plan conformed for a set of goals and establishes relations between the participants. These plans and relations define interactions between agents. All interaction...
متن کاملDistinguishing between communicating transactions
Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour of such systems. This comprises three nominal modal logics which share standard communication modalities but have distinct past and future modalities involv...
متن کامل